(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun g () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(assert (not (= 0 d)))
(assert (not (= (and (= c f) (< (* (+ (* (mod b g) e))) 0.0 e a) (<= 0.0 b g)) (< 0 (* (+ e (mod b f))) 0))))
(check-sat)
